It follows that ～